| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21d.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34T/48JSHAP | |||
| Repositório | sid.inpe.br/mtc-m21d/2023/02.23.12.44 (acesso restrito) | |||
| Última Atualização | 2023:02.23.12.44.37 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21d/2023/02.23.12.44.37 | |||
| Última Atualização dos Metadados | 2023:03.28.07.29.10 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| DOI | 10.1109/PRDC55274.2022.00022 | |||
| ISBN | 978-166548555-5 | |||
| ISSN | 15410110 | |||
| Chave de Citação | PaivaLimCarMatMad:2022:EnSoDe | |||
| Título | Enhanced software development process for CubeSats to cope with space radiation faults  | |||
| Formato | On-line | |||
| Ano | 2022 | |||
| Data de Acesso | 17 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1771 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Paiva, David 2 Lima, Raffael Sadite Cordoville Gomes de 3 Carvalho, Manoel Jozeane Mafra de 4 Mattiello-Francisco, Maria de Fátima 5 Madeira, Henrique | |||
| Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHNP 4 8JMKD3MGP5W/3C9JHR8 | |||
| Grupo | 1 2 COENE-CGGO-INPE-MCTI-GOV-BR 3 COENE-CGGO-INPE-MCTI-GOV-BR 4 COEPE-COEPE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 University of Coimbra 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 University of Coimbra | |||
| Endereço de e-Mail do Autor | 1 davidpaiva.uc@gmail.com 2 raffael.sadite@inpe.br 3 manoel.j.m.carvalho@gmail.com 4 fatima.mattiello@inpe.br 5 henrique@dei.uc.pt | |||
| Nome do Evento | IEEE Pacific Rim International Symposium on Dependable Computing, 27 | |||
| Localização do Evento | Online | |||
| Data | 28 Nov. - 02 Dec. 2022 | |||
| Editora (Publisher) | IEEE | |||
| Páginas | 78-88 | |||
| Título do Livro | Proceedings | |||
| Histórico (UTC) | 2023-02-23 12:46:07 :: simone -> administrator :: 2022 2023-03-28 07:29:10 :: administrator -> simone :: 2022 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Palavras-Chave | COTS CubeSats fault injection soft errors software development software fault tolerance techniques verification and validation | |||
| Resumo | CubeSats are an established trend in the space industry. The CubeSat standard opens opportunities for rapid and low-cost access to space. The use of COTS components instead of space-hardened hardware greatly reduces the cost of CubeSat-based missions and provides the additional benefit of increasing software functionalities at a low power consumption. However, COTS components are not designed for the space environment, making CubeSats sensitive to space radiation. This means that CubeSats need additional software mechanisms to guarantee resilient behavior in the presence of space radiation. Our proposal is that such software implemented fault tolerance mechanisms must be tailored to the specific code running in each CubeSat and the logical way to achieve that is to extend the software development process for CubeSats to include the systematic resilience evaluation of software as part of the CubeSats software lifecycle process. This paper proposes a set of structured steps to enhance the classic software development process used in CubeSats, focusing particularly on the Verification and Validation (V&V) phase. The approach uses fault injection as an integral part of the development environment for CubeSats software and includes three major steps: a) sensitivity evaluation (verification) of software in the presence of faults caused by space radiation, b) strengthen of the software with targeted software implemented fault tolerance (SWIFT) mechanisms and c) validation of the effectiveness of the SWIFT mechanisms to confirm that the software is immune to space radiation faults. These added steps to the V&V process must be carried out during software development, as well as every time the CubeSat software has an update, or even a minor change, to ensure that the impact of faults caused by space radiation is tolerated by the CubeSat software. The paper demonstrates the proposed approach using three different embedded software running in the EDC (Environment Data Collection) CubeSat board, which is part (payload) of a constellation of satellites being developed by the Brazilian National Institute for Space Research (INPE). EDC use case provides a realistic insight on the effectiveness of the proposed steps. Our results show that the proposed approach can reduce the percentage of silent data corruption (the most problematic failure mode) from the range of 15% to less than 1% and even to 0% in some embedded software, meaning that the CubeSat software becomes immune to space radiation. | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGGO > Enhanced software development... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > COEPE > Enhanced software development... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | en | |||
| Arquivo Alvo | Enhanced_software_development_process_for_CubeSats_to_cope_with_space_radiation_faults.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | deny from all and allow from 150.163 | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2021/06.04.03.40.25 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/46KUBT5 8JMKD3MGPCW/46L2EES | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2022/04.03.22.35 10 sid.inpe.br/bibdigital/2022/04.04.04.34 7 sid.inpe.br/mtc-m21/2012/07.13.14.54.30 2 | |||
| Acervo Hospedeiro | urlib.net/www/2021/06.04.03.40 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition editor label lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||